Implementing an Object-Oriented Deductive Database Using Temporal Reasoning
نویسندگان
چکیده
منابع مشابه
Constraints in an Object-Oriented Deductive Database
approximation sequences are easier to generate because the cost of the abstract computation is independent from the database size. However, this is still a sound and complete procedure: Theorem [Ca91b]: A completed database instance v is a solution of (d0, C) iff there exists an abstract approximation sequence (d i) such that dn = v. We can also define abstract fixpoint approximation sequence, ...
متن کاملDeductive Object-oriented Database System
DO is a deductive object oriented database developed at the National University of Singapore The system aims to integrate de ductive and object oriented paradigms and use their advantages to over come both the paradigms respective weaknesses DO di ers from con ventional deductive object oriented databases in its key based approach for OIDs pro active approach to resolving inheritance con icts a...
متن کاملRol : a Deductive Object - Oriented Database System
ROL is a deductive object-oriented database system developed at the University of Regina. It supports important object-oriented features such as object identity, complex objects, classes, class hierarchies, multiple inheritance with overriding and blocking, and schema deenition. It also supports structured values such as functor objects and sets, providing powerful mechanisms for representing b...
متن کاملTowards a Deductive Object-Oriented Database Language
A language for databases with sets, tuples, lists, object identity and structural inheritance is proposed. The core language is logic-based with a xpoint semantics. Methods with overloading and methods evaluated externally providing extensibility of the language are considered. Other important issues such as updates and the introduction of explicit control are discussed.
متن کاملDeductive Object-Oriented Database Systems: A Survey
Deductive object-oriented databases (DOODs) seek to combine the complementary beneets of the deductive and the object-oriented paradigms in the context of databases. Research into DOODs has now been taking place for almost ten years, and a signiicant number of designs and implementations have been developed. This paper categorises proposals for DOODs, based on the language design strategy pursu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Database Management
سال: 1996
ISSN: 1063-8016,1533-8010
DOI: 10.4018/jdm.1996100103